1. Artificial intelligence techniques :
پدیدآورنده : Alan Bundy, ed.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Artificial intelligence -- Data processing.,Künstliche Intelligenz,Programm
رده :
Q336
.
A436
1997
2. Automated deduction, CADE-12 : 12th International Conference on Automated Deduction Nancy, France, June 26 - July 1, 1994 ; proceedings
پدیدآورنده : Alan Bundy )ed.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Automatic theorem proving,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
814
3. Catalogue of artificial intelligence techniques
پدیدآورنده : Alan Bundy )ed.(
کتابخانه: كتابخانه مركزی دانشگاه بين المللی امام خمينی (ره) قزوين (قزوین)
موضوع : Artificial intelligence - Data processing
رده :
Q
.
B86
336
1990
4. Catalogue of artificial intelligence techniques
پدیدآورنده : Alan Bundy )ed(; asistant editor, Alan Smaill
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Data processing ، Artificial intelligence
رده :
Q
336
.
C28
1990